<?php 
if(!extension_loaded("suhosin")) 
	print "skip - SUHOSIN extension not available"; 
?>
